// @allowUnusedLabels: true
target: while(true){
    function f() {
        target: while(true){
        }
    }
}
